Genericity and Large Cardinals

نویسنده

  • Sy D. Friedman
چکیده

A natural question to ask is whether this result has an analogue in the context of large cardinals. The purpose of this article is to provide the strongest such analogue not ruled out by limitations imposed by the existence of Woodin cardinals. To describe the latter limitations we consider the forcing P , described as follows. Let δ be inaccessible and consider the language L(δ): (a) n ∈ R belongs to L(δ), where n ∈ ω and R denotes a real. (b) φ ∈ L(δ) →∼ φ ∈ L(δ). (c) Φ ⊆ L(δ), card Φ < δ → ∧Φ ∈ L(δ). Of course ∧Φ is to be interpreted as the conjunction of the sentences in Φ. A set of sentences Φ ⊆ L(δ) is consistent if in some set-generic extension, some real R satisfies each sentence in Φ. A single sentence φ ∈ L(δ) is consistent if {φ} is consistent. We endow L(δ) with the ordering φ ≤ ψ iff ∧{φ,∼ ψ} is not consistent. Then P is the pre-ordering (L(δ),≤) where L(δ) = {φ ∈ L(δ) | φ is consistent}.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Model of the Axiom of Determinacy in Which Every Set of Reals Is Universally Baire (draft)

The consistency of the theory ZF+AD+“every set of reals is universally Baire” is proved relative to ZFC + “there is a cardinal λ that is a limit of Woodin cardinals and of strong cardinals.” The proof is based on the derived model construction, which was used by Woodin to show that the theory ZF+AD+“every set of reals is Suslin” is consistent relative to ZFC+“there is a cardinal λ that is a lim...

متن کامل

Virtual Large Cardinals

We introduce the concept of virtual large cardinals and apply it to obtain a hierarchy of new large cardinal notions between ineffable cardinals and 0#. Given a large cardinal notion A characterized by the existence of elementary embeddings j : Vα → Vβ satisfying some list of properties, we say that a cardinal is virtually A if the embeddings j : V V α → V V β exist in the generic multiverse of...

متن کامل

The large cardinals between supercompact and almost-huge

I analyze the hierarchy of large cardinals between a supercompact cardinal and an almost-huge cardinal. Many of these cardinals are defined by modifying the definition of a high-jump cardinal. A high-jump cardinal is defined as the critical point of an elementary embedding j : V → M such that M is closed under sequences of length sup{ j(f)(κ) | f : κ→ κ }. Some of the other cardinals analyzed i...

متن کامل

Large cardinals and the Continuum Hypothesis

This is a survey paper which discusses the impact of large cardinals on provability of the Continuum Hypothesis (CH). It was Gödel who first suggested that perhaps “strong axioms of infinity” (large cardinals) could decide interesting set-theoretical statements independent over ZFC, such as CH. This hope proved largely unfounded for CH – one can show that virtually all large cardinals defined s...

متن کامل

Strongly unfoldable cardinals made indestructible

Strongly Unfoldable Cardinals Made Indestructible by Thomas A. Johnstone Advisor: Joel David Hamkins I provide indestructibility results for weakly compact, indescribable and strongly unfoldable cardinals. In order to make these large cardinals indestructible, I assume the existence of a strongly unfoldable cardinal κ, which is a hypothesis consistent with V = L. The main result shows that any ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2001